Datatype-generic Programming in Haskell An introduction Andres Löh Well-Typed LLP 23 January 2012

Source URL: www.andres-loeh.de

WFLPA Generic Semantics for Constraint Functional Logic Programming Emilio Jes´ us Gallego Ariasa,1 ,2

Source URL: www.cri.ensmp.fr

Vandevoorde/Josuttis: C++ Templates October 6, 2002 page v Contents Preface

Source URL: www.josuttis.com

• C++
• Subroutines
• Generic programming
• Type theory
• Template
• Barton–Nackman trick
• Function object
• Constructor
• Function overloading
• Software engineering
• Computing
• Computer programming

BRICS Basic Research in Computer Science BRICS RSFridlender & Indrika: Do we Need Dependent Types? Do we Need Dependent Types?

Source URL: www.brics.dk

• Higher-order functions
• Functional programming
• Lambda calculus
• Type theory
• Map
• Haskell
• AS3
• Type system
• Generic programming
• Computing
• Software engineering
• Declarative programming

Josuttis: The C++ Standard Library July 1, 1999 page v Contents Preface

Source URL: www.josuttis.com

• Computer programming
• Abstract data types
• Object-oriented programming
• Cross-platform software
• Generic programming
• Iterator
• Standard Template Library
• Associative containers
• Sequence container
• Computing
• Software engineering
• C++ Standard Library

GENERIC and GIMPLE: A New Tree Representation for Entire Functions Jason Merrill Red Hat, Inc.

Source URL: gcc.cybermirror.org

• Compiler construction
• Procedural programming languages
• Cross-platform software
• Programming language implementation
• Subroutines
• GNU Compiler Collection
• Static single assignment form
• Intermediate language
• Register transfer language
• Software engineering
• Software
• Computing

APS 2002 From Image to Brand

Source URL: iea-etsap.org

• Software engineering
• Generic programming
• Product development
• Quality
• Specification
• Standards
• Commodity
• Datasheet
• Cascading Style Sheets
• Technical communication
• Computing
• Technology

Semantic Bidirectionalization Revisited Meng Wang Shayan Najd Computer Science and Engineering

Source URL: kar.kent.ac.uk

• Functional programming
• Type theory
• Data types
• Higher-order functions
• Generic programming
• Type class
• Bidirectionalization
• Function
• ALGOL 68
• Software engineering
• Computing
• Computer programming

A Review of The Art of the Metaobject Protocol by Gregor Kiczales, Jim des Rivi`eres, and Daniel G. Bobrow Richard P. Gabriel March 3, 2010

Source URL: www.dreamsongs.com

• Object-oriented programming
• Lisp programming language
• Common Lisp Object System
• Metaobject
• Generic function
• Metaclass
• CommonLoops
• The Art of the Metaobject Protocol
• Common Lisp
• Software engineering
• Computing
• Computer programming

Generic Programming Must Go Andrei Alexandrescu Heap Building Blocks

Source URL: dconf.org